A Generic Framework for Specialization ( Abridged
نویسنده
چکیده
We present a generic framework for specifying and implementing ooine partial evaluators. The framework provides the infrastructure for specializing higher-order programs with computational effects speciied through a monad. It performs sound specialization for all monadic instances and is evaluation-order independent. It subsumes most previously published partial evaluators for higher-order functional programming languages in the sense that they are instances of the generic framework with respect to a particular monad.
منابع مشابه
A Generic Framework for Genericity
Recently, generic programming becomes of a major interest in several programming paradigms. A recurrent idea to achieve genericity is to specify algorithms on their convenient data structure, and to allow these speciications to be instantiated onto a large number of neighboring data structures. Polytypic programming, shapely types and generic attribute grammars are generic programming methods r...
متن کاملGeneric Programming by Program Composition (position Paper)
Recently, generic programming becomes of a major interest in several programming paradigms. A recurrent idea to achieve genericity is to abstract computations from their representative data structures. This allows these generic speciications to be instantiated onto a large number of neighboring data structures. Moreover the program can be adapted when the data structures have to evolve. Polytyp...
متن کاملA Generic Framework for the Analysis and Specialization of Logic Programs
The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the partial deduction and abstract interpretation perspectives. In this work we present what we argue is the first fully described generic algorithm for efficient and precise integration of abstract interpretation and partial...
متن کاملObject-Oriented Program Specialization: Aspects Into Aspects — Or Maybe Not?
Automatic program specialization is a software engineering technique that configures a program fragment by generating an implementation dedicated to a specific usage context. Given a generic component that solves a whole family of problems and that is implemented in a standard programming language, program specialization can automatically configure this component by generating a specialized imp...
متن کاملThe Making of a New Medical Specialty: A Policy Analysis of the Development of Emergency Medicine in India
Background Medical specialization is an understudied, yet growing aspect of health systems in low- and middleincome countries (LMICs). In India, medical specialization is incrementally, yet significantly, modifying service delivery, workforce distribution, and financing. However, scarce evidence exists in India and other LMICs regar...
متن کامل